Topological Consistency Checking and Refinement of Network-based Space Layouts

نویسنده

  • Georg Suter
چکیده

Network-based space layouts are fine-grained models of architectural spaces. They include rich spatial relationships between layout elements. Such information tends to be limited in existing space representations in building information modeling (BIM) systems. Network-based space layouts could be useful in the space planning and building automation domains. Their main feature is a geometric network of spatial topological relationships between layout elements, which is useful for spatial analysis. A schema for network-based space layouts has been proposed recently. However, the schema does not sufficiently address the issue of topological consistency. Operations on inconsistent layouts may fail or lead to misleading results. This paper examines two topological consistency problems. The first is to check the topological consistency of a layout, and the second to refine a layout, that is, to transform an inconsistent layout into a consistent one.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Consistent Adaptation and Evolution of Class Diagrams during Refinement

Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these separate, but related models during development and maintenance. This paper addresses the problem on how to maintain the consistency of UML class diagrams during various levels of refinement. We present a new approach to automated ...

متن کامل

Automatically Validating Model Consistency during Refinement

Automated consistency checking between software development models still remains a complex and non-scalable problem. Current solutions are frequently only able to detect small numbers of inconsistency types, often under less than realistic assumptions. This paper introduces a new approach to consistency checking based on model transformation. Our approach uses transformation to translate and to...

متن کامل

Next Generation Requirements Engineering

Establishing and managing a ―good‖ set of requirements is one of the critical success factors for any space system project, and for the development of any complex product in general. The NextGenRE project sponsored by the European Space Agency has developed an innovative approach featuring the use of semantic wiki technology to enable users to specify structured, semantically-rich requirements ...

متن کامل

Visualizing Schematic Maps through Generalization Based on Adaptive Regular Square Grid Model

Schematization is a quick visualization way to convey graphics information. In cartography, graphic schematization is one aspect of map generalization. This paper analyzes and summarizes the multiple criteria for schematic maps and quantifies these constraints functionally. Based on this, schematic map cartographic generalization framework based on the regular square grid is proposed. Furthermo...

متن کامل

More Anti-chain Based Refinement Checking

Refinement checking plays an important role in system verification. It establishes properties of an implementation by showing a refinement relationship between the implementation and a specification. Recently, it has been shown that anti-chain based approaches increase the efficiency of trace refinement checking significantly. In this work, we study the problem of adopting anti-chain for stable...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010